xen/arm: Initialize the domain vgic lock
authorJulien Grall <julien.grall@linaro.org>
Wed, 17 Dec 2014 15:40:15 +0000 (15:40 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 6 Jan 2015 11:14:48 +0000 (11:14 +0000)
commit876367befa26b12bfdecd6697faa7b8102e4b287
tree504b3858071774387bea511c4bc5d2ea87ce8cb8
parent1ec4e3336d413cc489813669e58c47e9156e03d8
xen/arm: Initialize the domain vgic lock

The domain vgic lock is used uninitialized.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c